121. The GETMe mesh smoothing framework :
پدیدآورنده : Dimitris Vartziotis, Joachim Wipper.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Finite element method.,Geometry-- Data processing.,Subdivision surfaces (Geometry),COMPUTERS / Computer Graphics / General,COMPUTERS / Operating Systems / General,Finite element method.,Geometry-- Data processing.,MATHEMATICS / Arithmetic,MATHEMATICS-- Numerical Analysis.,Subdivision surfaces (Geometry)
رده :
QC20
.
7
.
F56


122. The NURBS Book
پدیدآورنده : by Les Piegl, Wayne Tiller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer-aided design.,Spline theory -- Data processing.
رده :
QA224
.
B954
1995


123. The New S Language :
پدیدآورنده : Richard A. Becker, John M. Chambers, Allan R. Wilks.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : S (Computer program language),MATHEMATICS / Applied.,MATHEMATICS / Probability & Statistics / General.,S (Computer program language)
رده :
QA76
.
73
.
S15


124. The Turing omnibus :
پدیدآورنده : A.K. Dewdney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.
رده :
QA76
.
D45
1989


125. The book of JavaScript :
پدیدآورنده : Thau.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : JavaScript (Computer program language),ALGORITHMS.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,FILE MAINTENANCE (COMPUTERS),JavaScript (Computer program language),PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.
رده :
QA76
.
73
.
J39
T37
2000


126. The design and analysis of computer algorithms /
پدیدآورنده : Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.
رده :
QA76
.
6
.
A36


127. The (new) Turing omnibus :
پدیدآورنده : A.K. Dewdney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
رده :
QA76
.
D448
1993


128. Theory and Design of Digital Computer Systems
پدیدآورنده : by Douglas Lewin, David Noaks.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Microprogramming.
رده :
TK7888
.
3
B936
1992


129. There's something about Gödel :
پدیدآورنده : Francesco Berto
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Gödel, Kurt,Gödel's theorem,Incompleteness theorems,Mathematics-- Philosophy
رده :
QA9
.
54
.
B4713
2009


130. Think Perl 6 :
پدیدآورنده : Laurent Rosenfeld with Allen B. Downey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Perl (Computer program language),Perl (Computer program language),TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
QA76
.
73
.
P34


131. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Tomáš Vojnar, Lijun Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.
رده :
QA76
.
9
.
S88


132. Trees in Algebra and Programming - CAAP '96 :
پدیدآورنده : edited by Hélène Kirchner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming.,Computer science.,Programming languages (Electronic computers)
رده :
QA166
.
2
E358
1996


133. VLSI:
پدیدآورنده : edited by Luis Miguel Silveira, Srinivas Devadas, Ricardo Reis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering.,Computer-aided design.,Engineering.
رده :
TK7874
.
E358
2000

